You have chosen Frege philosophy of mathematics, Higher-Order Logic and Frege philosophy of mathematics.
All three must be different; choose another text.